CodeSOD: Validation Trimmed Away
thedailywtf.com·14h
Dealing with alternatives
jemarch.net·1d
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·15h
Redacting Faces, People, Vehicles, and Plates with Amped Replay Assisted Redaction
blog.ampedsoftware.com·5h
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·8h
Exploring Text Compression
denvaar.dev·17h
Swift reference book typeset in typst
notes.billmill.org·1d
Subterms Modulo Theories I
philipzucker.com·2d
Loading...Loading more...